Atmospheric reentry hemisphere prediction for prograde orbits using logical disjunction

A unique logic-based algorithm for atmospheric reentry hemisphere prediction is presented for spacecraft in low-eccentricity, prograde low Earth orbits at altitudes of 300 km and lower. Using two-line element (TLE) data for initial orbit conditions, coupled with coarse estimates for spacecraft aerodynamic characteristics, the algorithm relies on logical disjunction operations based on a dual analysis of histogram and two-weighted Gaussian probability density function (PDF) fits of predicted reentry latitude data. The algorithm requires the execution of a series of parametric simulations to determine the reentry hemisphere for variations in spacecraft aerodynamic coefficients and drag reference area. When implemented, the algorithm yields accurate hemisphere predictions on average 15 days from reentry as demonstrated by historical reentry cases from 1979 to 2018. All reentry cases were selected to demonstrate the algorithm’s ability to deliver accurate reentry hemisphere predictions for spacecraft with varying physical size and mass, and reentering during different periods of solar cycle activity.     

一种基于贪婪算法的最小成本关键措施集合计算方法

安全改进活动是整个网络系统风险评估流程中至关重要的一个环节。为了使评估结果更加有效地支持安全措施的改进,在逻辑渗透图模型LEG的基础上提出了一种基于贪婪算法的最小成本关键措施集合计算方法,该方法通过求解MCCSM问题来寻找解决目标网络安全风险的最小成本关键措施集合,在消除了所有已识别威胁的前提下,使得整个投入成本最小。最后,对该算法进行了分析。     

民用飞机试飞规划与管理技术研究

梳理了通用的民机试飞需求类型,讨论了民机试飞任务分工和试飞计划制订原则,分析了民机试飞科目特点和逻辑关系,研究并提出了一种民机试飞任务优化方法,系统地阐述了试飞规划与管理体系,实现了民机试飞的闭环控制,解决了国内试飞规划中未能系统研究的问题,并创建了一套具有国际先进水平的民机试飞规划与管理系统(Flight Test Control System,简称"FTCS")。FTCS已在实际型号试飞工作中得到了验证和应用,起到了减少试飞架次和提高试飞效率的作用,具有实际的工程应用意义。     

逻辑函数化简的子母卡诺图法

本文提出了一种逻辑函数化简的子母卡诺图法，可用于五变量、六变量逻辑函数的快速、准确化简。     

逻辑靶场理论与应用研究

在分析世界军事发达国家武器装备试验靶场发展趋势的基础上,根据新武器装备试验和作战训练转型发展需要,针对我国武器装备试验训练现状提出了建立＂逻辑靶场＂的思想。结合我国武器装备试验和作战训练资源实际,重点对逻辑靶场的作用意义、任务需求、基本概念、体系结构、整体构建、资源重组、运行机制及实际应用等方面全面系统地进行了研究,旨在为我国建立逻辑靶场提供理论参考。     

R/W变换真值法求谱及其应用

在数字系统中,利用Walsh函数对组合逻辑电路进行综合时,必须求出该逻辑函数的谱系数。本文介绍一种更加简便的求谱系数的方法,并用这种方法求出了n≤4的逻辑函数系中独立函数的谱。     

用DYL电路实现四值Searle运算器

本文采用DYL电路的基本逻辑单元实现了四值Searle运算器,给出了四值Searle四种运算及的逻辑设计公式及逻辑网络,为四值Searle运算器的工程应用提供了可能。     

逻辑函数中独立函数的研究

本文利用完整的逻辑代数的基本运算规则,找出了n变量可能组合的逻辑函数的总数目;同时还发现在n变量的逻辑函数系中存在着一组“独立函数”,并研究了独立函数的性质,提出了求找独立函数的方法;此外本文还讨论了独立函数与其该逻辑函数之间的关系及逻辑函数本身的特点。在研究中发现独立函数与该逻辑函数系之间的关系类似于Rademacher函数与Walsh函数之间的关系。本文的结论将使人们对逻辑函数的认识更加深入、全面和完整,同时也为Walsh函数在数字电路综合中的应用的“标准化”找到了理论依据。     

基于网络的可重构制造资源优化配置平台

针对网络化制造中的资源动态快速重组问题,提出了基于物理制造单元的制造资源信息建模,依据该模型建立了分布式网络化制造资源库;研究了面向CAPP的制造资源预配置及其实现方法和以时间、质量、成本为约束的制造资源优化配置及其实现方法。